14

Constructive Logic with Strong Negation Is a Substructural Logic. II

Year:
2008
Language:
english
File:
PDF, 2.39 MB
english, 2008
15

Constructive Logic with Strong Negation Is a Substructural Logic. I

Year:
2008
Language:
english
File:
PDF, 2.09 MB
english, 2008
26

Constructive Logic with Strong Negation is a Substructural Logic. I

Year:
2008
Language:
english
File:
PDF, 254 KB
english, 2008
27

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties

Year:
2008
Language:
english
File:
PDF, 631 KB
english, 2008